Gri Kurt Optimizasyon Algoritmasına Dayanan Çok Seviyeli İmge Eşik Seçimi

ATM Yerleşim Noktası Seçimi Karar Destek Sistemi

Olay Tabanlı Sınama İçin Mutant Seçimi

Özet. Model tabanlı sınama, sınama örneği üretimi için biçimsel modeller kullanmayı içerir. Bu bildiri olay tabanlı modelleme için düzenli gramerleri önermektedir. Önerilen modeli değişikiklere uğratmak için tanımlanan mutasyon işleçleri sistematik olarak hata modelleri ya da mutantların üretilmesinde kullanılmaktadır. Asıl sistem modeliyle mutantlar üzerinde uygulanan algoritmalar ile sınama ö...

GRI: The Gamma-Ray Imager mission

With the INTEGRAL observatory, ESA has provided a unique tool to the astronomical community revealing hundreds of sources, new classes of objects, extraordinary views of antimatter annihilation in our Galaxy, and fingerprints of recent nucleosynthesis processes. While INTEGRAL provides the global overview over the soft gamma-ray sky, there is a growing need to perform deeper, more focused inves...

Reflections on Kurt Gödel

Except for a few minor corrections this second printing is identical to the first ([Wang 1987]). The book is meant to be a first attempt to consider G’s life and work as a whole within an inclusive context that, except maybe for chapters 6, 10, and 11, is accessible to most thoughtful people. The many personal contacts that W had with G during the later years of G’s life makes him an important ...

INTERNET - DRAFT Kurt

This document provides procedures for registering extensible elements of LDAP (Lightweight Directory Access Protocol). The document also provides guidelines to IANA (Internet Assigned Numbers Authority) describing conditions under which new values can be assigned. Zeilenga IANA Considerations for LDAP [Page 1] INTERNET-DRAFT draft-ietf-ldapbis-iana-05.txt 20 December 2001